4221. Truth, objects, infinity : new perspectives on the philosophy of Paul Benacerraf
پدیدآورنده: Fabrice Pataut, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Benacerraf, Paul,، Mathematics -- Philosophy
رده :
QA
29
.
B515T7
4222. Turing :
پدیدآورنده: B. Jack Copeland
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography
رده :
QA20
.
T87
C78
2012
4223. Turing's connectionism :
پدیدآورنده: Christof Teuscher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Genetischer Algorithmus.,Konnektionistisches Netz.,Turing-Maschine.
رده :
QA76
.
87
C475
2002
4224. Turing's revolution :
پدیدآورنده: Giovanni Sommaruga, Thomas Strahm, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
4225. <2000=Two thousand> solved problems in discrete mathematics
پدیدآورنده: by Seymour Lipschutz, Marc Lars Lipson
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Mathematics Problems, exercises, etc,Computer science -- Mathematics Problems, exercises, etc
رده :
QA
،
43
،.
L666
،
1992
4226. Type logical grammar :
پدیدآورنده: by Glyn V. Morrill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categorial grammar.,Semantics (Philosophy),Type theory.
رده :
P161
.
B945
1994
4227. Type theory and formal proof :
پدیدآورنده: Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Type theory
رده :
QA9
.
N37
2014
4228. Uncertainty Management in Information Systems :
پدیدآورنده: edited by Amihai Motro, Philippe Smets.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Text processing (Computer science)
رده :
QA76
.
9
.
D3
E358
1997
4229. Uncertainty Quantification
پدیدآورنده: \ Christian Soize
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics,Probabilities,Applied mathematics,علوم کامپیوتر -- ریاضیات,احتمالات
رده :
E-Book
,
4230. Uncertainty Quantification in Computational Fluid Dynamic
پدیدآورنده: / edited by Hester Bijl, Didier Lucor, Siddhartha Mishra, Christoph Schwab
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science, Mathematics,Computer science,Engineering mathematics,Astronautics,Electronic books
رده :
E-BOOK
4231. Uncertainty Theory
پدیدآورنده: by Baoding Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Distribution (Probability theory).,Engineering.,Operations research.
4232. Uncertainty-based information :elements of generalized information theory
پدیدآورنده: Klir, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Soft computing,، Fuzzy systems,، Information theory
رده :
QA
76
.
9
.
S63
K58
1997
4233. Unconventional computing :
پدیدآورنده: Andrew Adamatzky, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Natural computation.,Artificial Intelligence.,Complex Systems.,Computational Biology/Bioinformatics.,Computational Intelligence.,Quantum Computing.,Theoretical and Computational Chemistry.,Computer science.,Natural computation.
رده :
QA76
4234. Unconventional models of computation, UMC'2K :
پدیدآورنده: I. Antoniou, C.S. Calude and M.J. Dinneen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Soft computing -- Congresses.
رده :
QA76
.
9
.
S63
I268
2001
4235. Undergraduate programs in the mathematical and computer sciences : the 1985-1986 survey
پدیدآورنده: / Donald J. Albers, Richard D. Anderson, Don O. Loftsgaarden
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Mathematics - Study and teaching (Higher) - United States - Statistics,Computer science - Study and teaching (Higher) - United States - Statistics
رده :
QA13
.
A43
1987
4236. Understand mathematics, understand computing :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics. ;
4237. Understanding and interpreting machine learning in medical image computing applications :
پدیدآورنده: Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
4238. Understanding complex datasets
پدیدآورنده: / David Skillicorn
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Data mining.,Data structures (Computer science),Computer algorithms.,Matrices.,Decomposition (Mathematics)
4239. Understanding computation
پدیدآورنده: Tom Stuart
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Computer science,Mathematics-- Data processing
رده :
QA76
.
S88378
2013
4240. Understanding cryptography :
پدیدآورنده: by Christof Paar, Jan Pelzl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cryptography-- Mathematics.,Cryptography.,Data encryption (Computer science),Cryptography-- Mathematics.,Cryptography.,Data encryption (Computer science),Informatique.
رده :
QA76
.
9
.
A25
P437
2009
